Abstract model theory
In mathematical logic, abstract model theory is a generalization of model theory which studies the general properties of extensions of first-order logic and their models.[1]
Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships.[2] The starting point for the study of abstract models, which resulted in good examples was Lindström's theorem.[3]
In 1974 Jon Barwise provided an axiomatization of abstract model theory.[4]
See also
Notes
- ^ Institution-independent model theory by Răzvan Diaconescu 2008 ISBN 3764387076 page 3
- ^ Handbook of mathematical logic by Jon Barwise 1989 ISBN 0444863885 page 45
- ^ Jean-Yves Béziau Logica universalis: towards a general theory of logic 2005 ISBN 9783764372590 pages 20–25
- ^ J. Barwise, 1974 Axioms for abstract model theory, Annals of Math. Logic 7:221–265
Further reading
‹The stub template below has been proposed for renaming to . See stub types for deletion to help reach a consensus on what to do.
Feel free to edit the template, but the template must not be blanked, and this notice must not be removed, until the discussion is closed. For more information, read the guide to deletion.›